Static Semantics with Montages
نویسندگان
چکیده
We introduce a descriptive approach to deene static semantics in the framework of Montages. It preserves readability and convenience of speciication and guarantees eecient computation of the typing.
منابع مشابه
Montages: Uniied Static and Dynamic Semantics of Programming Languages
We unify static and dynamic semantics through the use of Montages, a version of Evolving Algebras specially tailored for programming languages. Montages combines graphical and textual elements to yield specii-cations similar in structure, length, and complexity to those in common language manuals, but with a formal semantics. We aim at a formal instrument which can be equally good understood by...
متن کاملThe Static and Dynamic Semantics of C
Montages are a semi-visual formalism for defining the static and dynamic semantics of a programming language using Gurevich’s Abstract State Machines (ASMs). We describe an application of Montages to describe the static and dynamic semantics of the C programming language.
متن کاملMontages Speci cations of Realistic Programming Languages
Montages are a new way of describing all aspects of programming languages formally. Such speci cations are intelligible for a broad range of people involved in programming language design and use. In order to enhance readability we combine visual and textual elements to yield speci cations similar in structure, length, and complexity to those in common language manuals, but with a formal semant...
متن کاملMontages Specifications of Realistic Programming Languages
Montages are a new way of describing all aspects of programming languages formally. Such speciications are intelligible for a broad range of people involved in programming language design and use. In order to enhance readability we combine visual and textual elements to yield speciications similar in structure, length, and complexity to those in common language manuals, but with a formal semant...
متن کاملProceedings of the Second International Workshop on Action Semantics AS ’ 99 Amsterdam , The Netherlands , March 21 , 1999
In the present paper, a methodology is presented which enables the implementation of the Action Notation formalism based on a formal and modular specification. As a result, an interpreter and debugger is automatically generated which allows the visualization of an Action Notation program execution and the inspection of all semantic identities in terms of the given formal specification. These re...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1998